$\vdash$  $\forall$$T$:Type, $L$:($T$ List), $x$, $y$:$T$. adjacent($T$;$L$;$x$;$y$) $\in$ $\mathbb{P}$